-
1 predicate preserving
Большой англо-русский и русско-английский словарь > predicate preserving
-
2 predicate preserving
Математика: сохраняющий предикат -
3 predicate preserving
мат.English-Russian scientific dictionary > predicate preserving
-
4 predicate preserving function
Математика: сохраняющая предикат функцияУниверсальный англо-русский словарь > predicate preserving function
-
5 predicate preserving function
English-Russian scientific dictionary > predicate preserving function
-
6 preserving
1) консервация; сохранение2) консервирующий; сохраняющий• -
7 сохраняющая предикат функция
Русско-английский научно-технический словарь Масловского > сохраняющая предикат функция
-
8 сохраняющий предикат
predicate preserving мат.Русско-английский научно-технический словарь Масловского > сохраняющий предикат
-
9 function
1) функция, действие || функционировать; действовать- essential functions - routine function - safety-related functions2) функциональное назначение; роль- circuit function - intrinsic function - metering function - primary function - robot function - planning function - service function - support function4) функциональный узел ( машины)5) матем. функциональная зависимость, функция- absolutely additive function - absolutely bounded function - absolutely continuous function - absolutely integrable function - absolutely monotone function - absolutely summable function - absolutely symmetric function - almost complex function - almost continuous function - almost convex function - almost everywhere defined function - almost everywhere finite function - almost invariant function - almost periodic function - almost recursive function - almost separably-valued function - almost separating function - almost universal function - analytically independent function - analytically representable function - approximately differentiable function - asymptotically differentiable function - asymptotically finite function - asymptotically uniformly optimal function - bounded below function - cellwise continuous function - circumferentially mean p-valent function - comparison function - complementary error function - complete analytic function - completely additive function - completely computable function - completely monotone function - completely multiplicative function - completely productive function - completely subadditive function - completely symmetrical function - completely undefined function - complex hyperbolic function - conditional risk function - countably multiplicative function - countably valued function - covariant function - cumulative distribution function - cumulative frequency function - deficiency function - double limit function - doubly periodic function - doubly recursive function - effectively computable function - effectively constant function - effectively decidable function - effectively variable function - elementarily symmetric function - entire function of maximum type - entire function of mean type - entire function of potential type - entire function of zero type - entire rational function - essentially increasing function - essentially integrable function - essentially real function - essentially smooth function - everywhere differentiable function - everywhere smooth function - expansible function - explicitly definable function - exponentially convex function - exponentially decreasing function - exponentially increasing function - exponentially multiplicative function - exponentially vanishing function - finitely mean valent function - finitely measurable function - function of appropriate behavior - function of bounded characteristic - function of bounded type - function of bounded variation - function of complex variable - function of exponential type - function of finite genus - function of finite variation - function of fractional order - function of infinite type - function of integral order - function of maximal type - function of minimal type - function of mixed variables - function of normal type - function of number theory - function of one variable - function of rapid descent - function of rapid growth - function of real variable - general universal function - geometric carrier function - implicitly definable function - incomplete dibeta function - incomplete gamma function - incomplete tribeta function - incompletely defined function - inductively defined function - inductively integrable function - infinitely divisible function - infinitely many-valued function - integral logarithmic function - inverse trigonometric function - inverted beta function - iterative function - joint correlation function - joint density function - linearly separable function - locally bounded function - locally constant function - locally holomorphic function - locally homogeneous function - locally integrable function - locally negligible function - locally regular function - locally summable function - logarithmic generating function - logarithmic integral function - logarithmically infinite function - logarithmically plurisubharmonic function - logarithmically subharmonic function - lower semicontinuous function - monotone non-decreasing function - monotone non-increasing function - multiply periodic function - multiply recursive function - negative definite function - negative infinite function - nontangentially bounded function - normalized function - normed function - nowhere continuous function - nowhere differentiable function - nowhere monotonic function - n-times differentiable function - n-tuply periodic function - numeralwise expressible function - numeralwise representable function - numerical function - numerically valued function - oblate spheroidal function - operating characteristic function - optimal policy function - parametrically definable function - partially symmetric function - piecewise constant function - piecewise continuously differentiable function - piecewise linear function - piecewise monotonic function - piecewise polynomial function - piecewise quadratic function - piecewise regular function - piecewise smooth function - pointwise approximated function - positive homogeneous function - positive infinite function - positive monotone function - positive monotonic function - positive semidefinite function - potentially calculable function - potentially recursive function - power series function - probability generating function - quadratically summable function - rapidly damped function - rapidly decreasing function - rapidly oscillatory function - recursively continuous function - recursively convergent function - recursively defined function - recursively differentiable function - recursively divergent function - recursively extensible function - relative distribution function - relative frequency function - representing function - reproducing kernel function - residual function - residue function - scalarwise integrable function - scalarwise measurable function - sectionally smooth function - simply periodic function - singly recursive function - slowly increasing function - slowly oscillating function - slowly varying function - smoothly varying function - solid spherical harmonic function - solid zonal harmonic function - steadily increasing function - stopped random function - strictly convex function - strictly decreasing function - strictly increasing function - strictly integrable function - strictly monotone function - strongly differentiable function - strongly holomorphic function - strongly integrable function - strongly measurable function - strongly plurisubharmonic function - totally additive function - totally continuous function - totally measurable function - totally multiplicative function - totally positive function - triangular function - uniformly best decision function - uniformly bounded function - uniformly definable function - uniformly differentiable function - uniformly homotopic function - uniformly integrable function - uniformly limited function - uniformly measurable function - uniformly smooth function - unit step function - unitary divisor function - upper measurable function - upper semicontinuous function - weakly analytic function - weakly continuous function - weakly differentiable function - weakly holomorphic function - weakly measurable function - weakly singular function - weighted random functiondomain of a function — область определения функции, область изменения независимой переменной
-
10 сохраняющий предикат
Большой англо-русский и русско-английский словарь > сохраняющий предикат
-
11 сохраняющая предикат функция
Mathematics: predicate preserving functionУниверсальный русско-английский словарь > сохраняющая предикат функция
-
12 сохраняющий предикат
Mathematics: predicate preservingУниверсальный русско-английский словарь > сохраняющий предикат
-
13 sive
sīve (old orthog. SEIVE, Tab. Bantin. l. 6; and hence, by apocope, like neu, from neve, NEIVE). seu (the latter form very rare in Cic.; more freq. in Cæs.; as freq. as sive in the poets), conj. [si-ve], a disjunctive conditional particle, or if = vel si.I.Put once, preserving the conditional signif. of the si (cf., on the other hand, infra, II. B. 2.).A.After a preceding si (mostly ante-class.): si vivimus sive morimur, Enn. ap. Prisc. p. 880 P. (Ann. v. 384 Vahl.):B.si media nox est, sive est prima vespera,
Plaut. Curc. 1, 1, 4:si ista uxor sive amica est,
Ter. And. 1, 3, 11: si nocte sive luce, si servus sive liber faxit, Rogat. ap. Liv. 22, 10:si arborum trunci, sive naves essent a barbaris missae,
Caes. B. G. 4, 17 fin.:si ego volo seu nolo,
Plaut. Cist. 3, 14:si movero me, seu secari sensero,
id. Merc. 2, 2, 40:si speras... seu tibi confidis, etc.,
id. Rud. 3, 2, 19; Val. Fl. 1, 837:si te, etc.... sive haec, etc.... seu, etc.,
Ter. And. 1, 5, 58.—Without a preceding si (rare):II.dehinc postulo, sive aequom'st, te oro, ut, etc.,
Ter. And. 1, 2, 19 (for which:peto a te, vel si pateris, oro,
Cic. Fam. 9, 13, 3):bis denas Italo texamus robore naves, Seu plures complere valent, etc.,
Verg. A. 11, 327:me seu corpus spoliatum lumine mavis, Redde meis,
id. ib. 12, 935; cf.:haec pars dialectica, sive illam dicere malumus disputatricem,
Quint. 12, 2, 13:turdus, Sive aliud privum dabitur tibi, devolet illuc,
Hor. S. 2, 5, 11; cf. id. C. 1, 6, 19.—Repeated, with a disjunctive sense predominant.A.Connecting words or phrases in the same construction. or conditional clauses which have the same predicate: sive (seu)... sive (seu) (in good prose, esp. in Cic., usually sive... sive; in Cæs. often seu... seu; after the Aug. period often sive... seu, or seu... [p. 1714] sive); prop. if this or if that be the case, placing the counter propositions on an equality, be it that... or that; if... or if; whether... or, i. e. in either case (the predominant use and signif. in prose and poetry).1.In gen.:2.qui improbus est, sive subbibit, sive adeo caret temeto, tamen ab ingenio est improbus,
Plaut. Truc. 4, 3, 59; so,sive... sive etiam,
Cic. Tusc. 4, 3, 6; Caes. B. C. 1, 27:sive quid mecum ipse cogito, sive quid aut scribo aut lego,
Cic. Leg. 2, 1, 1:sive eum ex paludibus elicere sive obsidione premere posset,
Caes. B. G. 7, 32:sive regi sive optimatibus serviant,
Cic. Rep. 1, 35, 55:ex quo exardescit sive amor sive amicitia,
id. Lael. 27, 100:sive tu medicum adhibueris, sive non adhibueris,
id. Fat. 12 fin.; cf. id. Fam. 12, 2, 3:sive sub incertas Zephyris mutantibus umbras, Sive antro potius succedimus,
Verg. E. 5, 5:seu recte, seu pervorse facta sunt, Egomet fecisse confiteor,
Plaut. Trin. 1, 2, 146; Caes. B. C. 3, 61:facilem esse rem, seu maneant, seu proficiscantur,
id. B. G. 5, 31; 5, 51; 7, 36; 7, 89; id. B. C. 3, 79; Sall. C. 49, 4; id. J. 103, 2; Verg. G. 3, 49; 4, 25; 4, 33; id. A. 2, 62; 6, 881 al.:quantitas plerumque eidem subjacet, seu modi est seu numeri,
Quint. 7, 4, 41:sive dolo, seu jam Trojae sic fata ferebant,
Verg. A. 2, 34:sive deae seu sint dirae volucres,
id. ib. 3, 262; 4, 240; 7, 199; Liv. 10, 14; Quint. 1, 5, 18; 1, 5, 35; 1, 5, 41; 2, 1, 11;12, 10, 26: seu magni superas jam saxa Timavi, Sive oram Illyrici legis aequoris,
Verg. E. 8, 6; so,seu... sive,
id. A. 1, 218; 10, 109; 11, 528; Ov. M. 4, 321; 4, 639; 15, 324 al. (In Cæs. B. C. 2, 27, the MSS. vary between seu... sive and sive... sive.)—Repeated several times:3.sive ancillam sive servum sive uxorem sive adulterum, Seu patrem sive avum videbo,
Plaut. Am. 4, 5, 15 sq.; cf. id. ib. prol. 69 sq.; and id. Merc. 2, 2, 35:quibus (Cimmeriis) aspectum solis sive deus aliquis sive natura ademerat, sive loci situs,
Cic. Ac. 2, 19, 61: seu furor est: habeo, quae carmine sanet et herbis; Sive aliquis nocuit: magico lustrabere ritu;Ira deum sive est: sacris placabimus iram,
Ov. M. 10, 397 et saep. —With a corresp. si: sive tu vatem, sive tu omen audieris; sive immolaris, sive avem aspexeris;B.si Chaldaeum, si haruspicem videris, si fulserit, etc.,
Cic. Div. 2, 72, 149.—Connecting complete conditional sentences, each with its own conclusion, but always implying that the alternative conclusions are alike steps in the general argument, if, on the one hand... if, on the other, if... but if:2.nam sive timuit, quid ignavius? sive meliorem suam causam fore putavit, quid injustius?
Cic. Att. 8, 9, 3: sive enim ad sapientiam perveniri potest, non paranda nobis solum ea, sed fruenda etiam est;sive hoc difficile est, tamen nec modus est ullus investigandi, etc.,
id. Fin. 1, 1, 3:eis sive creditur, creditur hoc ipsum quod nos arguimus, sive fides non habetur, de adversarii testium fide derogatur,
id. Caec. 1, 3; id. Tusc. 1, 18, 42:ut sive abstinuisset Epiro, integra sibi omnia essent: sive venisset, sic quoque spes veniae foret,
Liv. 36, 6, 6 sq.; 36, 16, 10; 38, 3, 10;37, 15, 2: eos seu dedi placeat, dedere se paratos esse, seu supplicio adfici, daturos poenas,
id. 7, 20, 7; 27, 14, 1; 30, 40, 7.—Instead of sive as a correl., sin or si vero is sometimes found:3.sive sensus exstinguitur... quis me beatior? sin vera sunt quae dicuntur, migrationem esse, etc.,
Cic. Tusc. 1, 41, 97 sq.:sive enim Zenonem sequare, magnum est efficere... si vero Academiam veterem persequamur, etc.,
id. Ac. 1, 2, 7: sive enim abscedant, cui dubium esse quin, etc.;sin autem manendum ibi nihilo minus sit,
Liv. 37, 15, 2.—In this use *C.si... sive is found once: si omnes atomi declinabunt, nullae umquam cohaerescent, sive aliae declinabunt, aliae suo nutu recte ferentur, primum, etc.,
Cic. Fin. 1, 6, 20 B. and K.; cf.: si... sive in one sentence, I. A. supra; and v. Madv. ad Cic. Fin. p. 45.—On account of the predominant disjunctive sense,1.In the poets and in post-Aug. prose, instead of one sive, sometimes aut, vel, or one of the interrogative particles ne or an is used:2.(saxum) seu turbidus imber Proluit, aut annis solvit sublapsa vetustas,
Verg. A. 12, 685:sive... sive... vel, etc.,
Flor. 4, 2, 79: misero conjux, fatone erepta Creusa Substitit, erravitne viā, seu lassa resedit, Incertum, Verg. A. 2, 739:sive fatali vecordiā an, etc.,
Tac. A. 11, 26; so,sive... seu... an,
id. ib. 14, 59.—Sometimes also sive stands alone in a purely disjunctive sense, = vel (in Cicero only in the phrases sive quis, sive potius, sive etiam):ut mihi Platonis illud, seu quis dixit alius, perelegans esse videatur,
or whoever else said it, Cic. Rep. 1, 17, 29:quid perturbatius hoc ab urbe discessu, sive potius turpissimā fugā?
id. Att. 8, 3, 3:te primum rogo, ut (animum) erigas ac resistas, sive etiam ultro occurras negotiis,
id. Q. Fr. 1, 1, 1, § 4:Aristarchus et aetate nostrā Palaemon vocabulum, sive appellationem, nomini subjecerunt,
Quint. 1, 4, 20:delectandi sive conciliandi officium,
id. 12, 10, 59:miracula visa sive ex metu credita,
Tac. A. 2, 24:proelium sive naufragium,
Just. 2, 9, 20:Romana bella sive Asiana,
id. 38, 3, 10.
См. также в других словарях:
Truth — For other uses, see Truth (disambiguation). Time Saving Truth from Falsehood and Envy, François Lemoyne, 1737 Truth has a variety of meanings, such as the state of being in accord with fact or reality … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Lojban grammar — Lojban is a constructed, human speakable and (theoretically) machine speakable language, based on predicate logic. It is one of the latest languages, designed in 1987 with most of its grammar from Loglan and some features from Láadan. Most of its … Wikipedia
Araki language — language name=Araki states=Vanuatu region=Araki island, Espiritu Santo speakers=8 familycolor=Austronesian fam2=Malayo Polynesian fam3=Central Eastern fam4=Eastern fam5=Oceanic fam6=Central Eastern fam7=Remote Oceanic fam8=North and Central… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Ancient Egypt — was an ancient civilization in eastern North Africa, concentrated along the lower reaches of the Nile River in what is now the modern nation of Egypt. The civilization began around 3150 BC [Only after 664 BC are dates secure. See Egyptian… … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia